منابع مشابه
Deductive Object-Oriented Database Languages: A Survey
The deductive object-oriented database (DOOD) model is an integration of the object-oriented data modeling paradigm and rule-based deduction to provide a single powerful framework for intelligent database systems of the future. The database language of a DOOD system should speciically be based on a logic to facilitate use of deductive database technology and also to provide the theoretical foun...
متن کاملWell-Founded Semantics for Deductive Object-Oriented Database Languages
We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternatingxpoint characterization of the well-founded model to them. In order to compute the state sequence, states are explicitly integrated by making them rst-class citizens of the underlying language. The concept is applied to Florid, an implementation of F-Logic, previously supporting...
متن کاملIncorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages
This paper presents an approach to incorporating rule-based methods and encapsulation of such methods into DOOD languages. The main novel feature of this approach is the simple and intuitive logic-based semantics that cleanly accounts for all important object-oriented features such as object identity, complex objects, typing, methods, encapsulation, class hierarchy, multiple structural and beha...
متن کاملExtending Deductive Database Languages by Embedded Implications 1
A bottom-up, set-oriented evaluation scheme for a deductive database query language with embedded implications is deened. An embedded implication deenes a local extension of the set of rules available for answering a goal. It can therefore be viewed either as a hypothetical query or as a reference to some external program. We deene an iterated xpoint semantics for stratiiable deductive database...
متن کاملNonmonotonic Inheritance in Object-Oriented Deductive Database Languages
Deductive object oriented frameworks integrate logic rules and inheritance There speci c problems arise Due to the combination of deduction and inheritance a deduction can take place depending on inherited facts thus raising indirect con icts and b also the class hierarchy and membership is subject to deduction From this point of view we investigate the applica tion of the extension semantics o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 1999
ISSN: 0360-0300,1557-7341
DOI: 10.1145/311531.311533